English logical framework model: переклад на інші мови